1081. Mathematical foundations of computer science 1994 : 19th International Symposium, MFCS'94, Kosice, Slovakia, August 22-26, 1994 : proceedings
پدیدآورنده : Igor Privara, Branislav Rovan, Peter Ruzicka )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
841
1082. Mathematical foundations of computer science 2004 : 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004 : proceedings
پدیدآورنده : Jiri Fiala, Vaclav Koubek, Jan Kratochvil )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
3153
1083. Mathematical foundations of computer science 1999 : 24th International Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999 : proceedings
پدیدآورنده : Miroslaw Kutylowski, Leszek Pacholski, Tomasz Wierzbicki )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
1672
1084. Mathematical foundations of computer science 2002 : 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002 : proceedings
پدیدآورنده : Krzysztof Diks, Wojciech Rytter )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
2420
1085. Mathematical foundations of computer science 1992 : 17th International Symposium, Prague, Czechoslovakia, August 24-28, 1992 : proceedings
پدیدآورنده : I.M. Havel, V. Koubek, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
629
1086. Mathematical foundations of computer science 1992 :17th international Symposium, Prague, Czechoslovakia, August 24-28, 1992: proceedings
پدیدآورنده : I. M. Havel, V. Koubek )eds.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Computer science - Mathematics
رده :
QA
76
.
L4
v
.
629
1087. Mathematical foundations of computer science 2003 : 28th international symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003 : proceedings
پدیدآورنده : Branislav Rovan, Peter Vojtas )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Mathematics -- Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
2747
1088. Mathematical foundations of computer science 2001 : 26th international symposium, MFCS 2001, Marianske Lazne, Czech Republic, August 2001 : proceedings
پدیدآورنده : Jiri Sgall, Ales Pultr, Petr Kolman )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Mathematics -- Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
2136
1089. Mathematical foundations of computer science 1989 : 14th international symposium, MFCS '89, Porabka-Kozubnik, Poland, August 28 - September 1, 1989 : proceedings
پدیدآورنده : A. Kreczmar, G. Mirkowska )Eds.(
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Computer science -- Mathematics
رده :
QA
76
.
9
.
M35
M35
1989
1090. Mathematical foundations of computer science 1992: 17th international symposium, Prague, Czechoslovakia, August 24-28,1992:proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer science--Mathematics--Congresses
رده :
QA
76
.
9
.
M35
.
M3862
1992
1091. Mathematical foundations of parallel computing
پدیدآورنده : Voevodin, Valentin V.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Computer science - Mathematics
رده :
QA
76
.
9
.
V64
.
M37
1992
1092. Mathematical foundations of parallel computing
پدیدآورنده : Voevodin, Valentin V.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Parallel processing )Electronic computers( , Computer science - Mathematics
رده :
QA
76
.
58
.
V63
1992
1093. Mathematical foundations of programming language semantics : 3rd Workshop , Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987: proceedings
پدیدآورنده : M. Main...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
298
1094. Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Semantics-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
7
.
M378
1988
1095. Mathematical foundations of programming semantics :
پدیدآورنده : M. Main, A. Melton, M. Mislove ... [et al.], eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,sémantique programme.
رده :
QA76
.
7
M535
1990
1096. Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
پدیدآورنده : M. Main...]et al.[, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
442
1097. Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Sematics-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
7
.
M38
1990
1098. Mathematical logic for computer science
پدیدآورنده : Lu, Chung-wan
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
L8
1989
1099. Mathematical logic for computer science
پدیدآورنده : Lu, Zhong-Wan
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35L8
1989
1100. Mathematical methods in artifficial intelligence
پدیدآورنده : Bender, Edward A.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Artificial intelligence- Mathematics,، Expert Systems )Computer science(
رده :
Q
335
.
B45
1996
